Le rôle des objets comme appuis pour penser une situation capacitante

<HOE>², une meéthode intégrée pour le développement des systèmes embarqueés

Modélisation de politiques de sécurité à l'aide de méthode de spécifications formelles. (Security policies modeling by using formal methods)

ion des données : on peut définir des actions plus abstraites que lecture/écriture. Le modèle RBAC modélise le système informatique considéré en séparant les entités actives des entités passives. Les entités actives correspondent aux utilisateurs du système et les entités passives correspondent aux objets du système. Au contraire du modèle de LaPadula, qui associe des niveaux de sécurité aux di...

Une plate-forme dynamique pour l'évaluation des performances des bases de données à objets

In object-oriented or object-relational databases such as multimedia databases or most XML databases, access patterns are not static, i.e., applications do not always access the same objects in the same order repeatedly. However, this has been the way these databases and associated optimisation techniques such as clustering have been evaluated up to now. This paper opens up research regarding t...

Apprentissage de règles floues pour caractériser des objets d'intérêt dans une image de télédétection

Résumé. Les nouveaux capteurs satellitaires permettent l’acquisition d’images d’un très haut niveau de détail à des cadences élevés, produisant ainsi une importante masse de données. Le traitement manuel de ces données étant devenu impossible, de nouveaux outils sont nécessaires afin de les traiter automatiquement. Dans ce cadre, des algorithmes de segmentation efficaces sont nécessaires pour e...

Les réseaux d'engagements comme méthode pour modéliser le comportement dialogique des agents

In this article, we present the web of commitment methodology that allows us to specify the dialogical behavior of agents from the commitments that can be contracted between them and from the links that can exist between those commitments. At first, we present the DIAGAL agent communication language which is based on social commitments and dialogue games that are defined as structures regulatin...